Separation and Renaming in Nominal Sets

Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a categorical adjunction. In particular, the left adjoint relates the separated product of nominal sets to the Cartesian product of nominal renaming sets. Based on these results, we define the new notion of separated nominal automata. We show that these automata can be exponentially smaller than classical nominal automata, if the semantics is closed under substitutions

Residual Nominal Automata

Nominal automata are models for accepting languages over infinite alphabets. In this paper we refine the hierarchy of nondeterministic nominal automata, by developing the theory of residual nominal automata. In particular, we show that they admit canonical minimal representatives, and that the universality problem becomes decidable. We also study exact learning of these automata, and settle questions that were left open about their learnability via observations

Residual Nominal Automata

We are motivated by the following question: which nominal languages admit an active learning algorithm? This question was left open in previous work, and is particularly challenging for languages recognised by nondeterministic automata. To answer it, we develop the theory of residual nominal automata, a subclass of nondeterministic nominal automata. We prove that this class has canonical representatives, which can always be constructed via a finite number of observations. This property enables active learning algorithms, and makes up for the fact that residuality - a semantic property - is undecidable for nominal automata. Our construction for canonical residual automata is based on a machine-independent characterisation of residual languages, for which we develop new results in nominal lattice theory. Studying residuality in the context of nominal languages is a step towards a better understanding of learnability of automata with some sort of nondeterminism

Generating Functions for Probabilistic Programs

This paper investigates the usage of generating functions (GFs) encoding measures over the program variables for reasoning about discrete probabilistic programs. To that end, we define a denotational GF-transformer semantics for probabilistic while-programs, and show that it instantiates Kozen's seminal distribution transformer semantics. We then study the effective usage of GFs for program analysis. We show that finitely expressible GFs enable checking super-invariants by means of computer algebra tools, and that they can be used to determine termination probabilities. The paper concludes by characterizing a class of -- possibly infinite-state -- programs whose semantics is a rational GF encoding a discrete phase-type distribution

DEQ:Equivalence Checker for Deterministic Register Automata

Register automata are one of the most studied automata models over infinite alphabets with applications in learning, systems modelling and program verification. We present an equivalence checker for deterministic register automata, called DEQ, based on a recent polynomial-time algorithm that employs group-theoretic techniques to achieve succinct representations of the search space. We compare the performance of our tool to other available implementations, notably in the learning library RALib and nominal frameworks LOIS and NLambda

Learning nominal automata

We present an Angluin-style algorithm to learn nominal automata, which are acceptors of languages over infinite (structured) alphabets. The abstract approach we take allows us to seamlessly extend known variations of the algorithm to this new setting. In particular we can learn a subclass of nominal non-deterministic automata. An implementation using a recently developed Haskell library for nominal computation is provided for preliminary experiments

Proceedings of the International Cancer Imaging Society (ICIS) 16th Annual Teaching Course

Table of contents O1 Tumour heterogeneity: what does it mean? Dow-Mu Koh O2 Skeletal sequelae in adult survivors of childhood cancer Sue Creviston Kaste O3 Locoregional effects of breast cancer treatment Sarah J Vinnicombe O4 Imaging of cancer therapy-induced CNS toxicity Giovanni Morana, Andrea Rossi O5 Screening for lung cancer Christian J. Herold O6Risk stratification of lung nodules Theresa C. McLoud O7 PET imaging of pulmonary nodules Kirk A Frey O8 Transarterial tumour therapy Bernhard Gebauer O9 Interventional radiology in paediatric oncology Derek Roebuck O10 Image guided prostate interventions Jurgen J. Fütterer O11 Imaging cancer predisposition syndromes Alexander J. Towbin O12Chest and chest wall masses Thierry AG Huisman O13 Abdominal masses: good or bad? Anne MJB Smets O14 Hepatobiliary MR contrast: enhanced liver MRI for HCC diagnosis and management Giovanni Morana O15 Role of US elastography and multimodality fusion for managing patients with chronic liver disease and HCC Jeong Min Lee O16 Opportunities and challenges in imaging metastatic disease Hersh Chandarana O17 Diagnosis, treatment monitoring, and follow-up of lymphoma Marius E. Mayerhoefer, Markus Raderer, Alexander Haug O18 Managing high-risk and advanced prostate cancer Matthias Eiber O19 Immunotherapy: imaging challenges Bernhard Gebauer O20 RECIST and RECIST 1.1 Andrea Rockall O21 Challenges of RECIST in oncology imaging basics for the trainee and novice Aslam Sohaib O22 Lymphoma: PET for interim and end of treatment response assessment: a users’ guide to the Deauville Score Victoria S Warbey O23 Available resources Hebert Alberto Vargas O24 ICIS e-portal and the online learning community Dow-Mu Koh O25 Benign lesions that mimic pancreatic cancer Jay P Heiken O26 Staging and reporting pancreatic malignancies Isaac R Francis, Mahmoud, M Al-Hawary, Ravi K Kaza O27 Intraductal papillary mucinous neoplasm Giovanni Morana O28 Cystic pancreatic tumours Mirko D’Onofrio O29 Diffusion-weighted imaging of head and neck tumours Harriet C. Thoeny O30 Radiation injury in the head and neck Ann D King O31 PET/MR of paediatric brain tumours Giovanni Morana, Arnoldo Piccardo, Maria Luisa Garrè, Andrea Rossi O32 Structured reporting and beyond Hebert Alberto Vargas O33 Massachusetts General Hospital experience with structured reporting Theresa C. McLoud O34 The oncologist’s perspective: what the oncologist needs to know Nick Reed O35 Towards the cure of all children with cancer: global initiatives in pediatric oncology Carlos Rodriguez-Galindo O36 Multiparametric imaging of renal cancers Hersh Chandarana O37 Linking imaging features of renal disease and their impact on management strategies Hebert Alberto Vargas O38 Adrenals, retroperitoneum and peritoneum Isaac R Francis, Ashish P Wasnik O39 Lung and pleura Stefan Diederich O40 Advances in MRI Jurgen J. Fütterer O41 Advances in molecular imaging Wim J.G. Oyen O42 Incorporating advanced imaging, impact on treatment selection and patient outcome Cheng Lee Chaw, Nicholas van As S1 Combining ADC-histogram features improves performance of MR diffusion-weighted imaging for Lymph node characterisation in cervical cancer Igor Vieira, Frederik De Keyzer, Elleke Dresen, Sileny Han, Ignace Vergote, Philippe Moerman, Frederic Amant, Michel Koole, Vincent Vandecaveye S2 Whole-body diffusion-weighted MRI for surgical planning in patients with colorectal cancer and peritoneal metastases R Dresen, S De Vuysere, F De Keyzer, E Van Cutsem, A D’Hoore, A Wolthuis, V Vandecaveye S3 Role of apparent diffusion coefficient (ADC) diffusion-weighted MRI for predicting extra capsular extension of prostate cancer. P. Pricolo ([email protected]), S. Alessi, P. Summers, E. Tagliabue, G. Petralia S4 Generating evidence for clinical benefit of PET/CT – are management studies sufficient as surrogate for patient outcome? C. Pfannenberg, B. Gückel, SC Schüle, AC Müller, S. Kaufmann, N. Schwenzer, M. Reimold,C. la Fougere, K. Nikolaou, P. Martus S5 Heterogeneity of treatment response in skeletal metastases from breast cancer with 18F-fluoride and 18F-FDG PET GJ Cook, GK Azad, BP Taylor, M Siddique, J John, J Mansi, M Harries, V Goh S6 Accuracy of suspicious breast imaging—can we tell the patient? S Seth, R Burgul, A Seth S7 Measurement method of tumour volume changes during neoadjuvant chemotherapy affects ability to predict pathological response S Waugh, N Muhammad Gowdh, C Purdie, A Evans, E Crowe, A Thompson, S Vinnicombe S8 Diagnostic yield of CT IVU in haematuria screening F. Arfeen, T. Campion, E. Goldstraw S9 Percutaneous radiofrequency ablation of unresectable locally advanced pancreatic cancer: preliminary results D’Onofrio M, Ciaravino V, Crosara S, De Robertis R, Pozzi Mucelli R S10 Iodine maps from dual energy CT improve detection of metastases in staging examinations of melanoma patients M. Uhrig, D. Simons, H. Schlemmer S11Can contrast enhanced CT predict pelvic nodal status in malignant melanoma of the lower limb? Kate Downey S12 Current practice in the investigation for suspected Paraneoplastic Neurological Syndromes (PNS) and positive malignancy yield. S Murdoch, AS Al-adhami, S Viswanathan P1 Technical success and efficacy of Pulmonary Radiofrequency ablation: an analysis of 207 ablations S Smith, P Jennings, D Bowers, R Soomal P2 Lesion control and patient outcome: prospective analysis of radiofrequency abaltion in pulmonary colorectal cancer metastatic disease S Smith, P Jennings, D Bowers, R Soomal P3 Hepatocellular carcinoma in a post-TB patient: case of tropical infections and oncologic imaging challenges TM Mutala, AO Odhiambo, N Harish P4 Role of apparent diffusion coefficient (ADC) diffusion-weighted MRI for predicting extracapsular extension of prostate cancer P. Pricolo, S. Alessi, P. Summers, E. Tagliabue, G. Petralia P5 What a difference a decade makes; comparison of lung biopsies in Glasgow 2005 and 2015 M. Hall, M. Sproule, S. Sheridan P6 Solid pseudopapillary tumour of pancreas: imaging features of a rare neoplasm KY Thein, CH Tan, YL Thian, CM Ho P7 MDCT - pathological correlation in colon adenocarcinoma staging: preliminary experience S De Luca, C Carrera, V Blanchet, L Alarcón, E Eyheremnedy P8 Image guided biopsy of thoracic masses and reduction of pneumothorax risk: 25 years experience B K Choudhury, K Bujarbarua, G Barman P9 Tumour heterogeneity analysis of 18F-FDG-PET for characterisation of malignant peripheral nerve sheath tumours in neurofibromatosis-1 GJ Cook, E Lovat, M Siddique, V Goh, R Ferner, VS Warbey P10 Impact of introduction of vacuum assisted excision (VAE) on screen detected high risk breast lesions L Potti, B Kaye, A Beattie, K Dutton P11 Can we reduce prevalent recall rate in breast screening? AA Seth, F Constantinidis, H Dobson P12 How to reduce prevalent recall rate? Identifying mammographic lesions with low Positive Predictive Value (PPV) AA Seth ([email protected]), F Constantinidis, H Dobson P13 Behaviour of untreated pulmonary thrombus in oncology patients diagnosed with incidental pulmonary embolism on CT R. Bradley, G. Bozas, G. Avery, A. Stephens, A. Maraveyas P14 A one-stop lymphoma biopsy service – is it possible? S Bhuva, CA Johnson, M Subesinghe, N Taylor P15 Changes in the new TNM classification for lung cancer (8th edition, effective January 2017) LE Quint, RM Reddy, GP Kalemkerian P16 Cancer immunotherapy: a review of adequate imaging assessment G González Zapico, E Gainza Jauregui, R Álvarez Francisco, S Ibáñez Alonso, I Tavera Bahillo, L Múgica Álvarez P17 Succinate dehydrogenase mutations and their associated tumours O Francies, R Wheeler, L Childs, A Adams, A Sahdev P18 Initial experience in the usefulness of dual energy technique in the abdomen SE De Luca, ME Casalini Vañek, MD Pascuzzi, T Gillanders, PM Ramos, EP Eyheremendy P19 Recognising the serious complication of Richter’s transformation in CLL patients C Stove, M Digby P20 Body diffusion-weighted MRI in oncologic practice: truths, tricks and tips M. Nazar, M. Wirtz, MD. Pascuzzi, F. Troncoso, F. Saguier, EP. Eyheremendy P21 Methotrexate-induced leukoencephalopathy in paediatric ALL Patients D.J. Quint, L. Dang, M. Carlson, S. Leber, F. Silverstein P22 Pitfalls in oncology CT reporting. A pictorial review R Rueben, S Viswanathan P23 Imaging of perineural extension in head and neck tumours B Nazir, TH Teo, JB Khoo P24 MRI findings of molecular subtypes of breast cancer: a pictorial primer K Sharma, N Gupta, B Mathew, T Jeyakumar, K Harkins P25 When cancer can’t wait! A pictorial review of oncological emergencies K Sharma, B Mathew, N Gupta, T Jeyakumar, S Joshua P26 MRI of pancreatic neuroendocrine tumours: an approach to interpretation D Christodoulou, S Gourtsoyianni, A Jacques, N Griffin, V Goh P27 Gynaecological cancers in pregnancy: a review of imaging CA Johnson, J Lee P28 Suspected paraneoplastic neurological syndromes - review of published recommendations to date, with proposed guideline/flowchart JA Goodfellow, AS Al-adhami, S Viswanathan P29 Multi-parametric MRI of the pelvis for suspected local recurrence of prostate cancer after radical prostatectomy R Bradley P30 Utilisation of PI-RADS version 2 in multi-parametric MRI of the prostate; 12-months experience R Bradley P31 Radiological assessment of the post-chemotherapy liver A Yong, S Jenkins, G Joseph P32 Skeletal staging with MRI in breast cancer – what the radiologist needs to know S Bhuva, K Partington P33 Perineural spread of lympoma: an educational review of an unusual distribution of disease CA Johnson, S Bhuva, M Subesinghe, N Taylor P34 Visually isoattenuating pancreatic adenocarcinoma. Diagnostic imaging tools. C Carrera, A Zanfardini, S De Luca, L Alarcón, V Blanchet, EP Eyheremendy P35 Imaging of larynx cancer: when is CT, MRI or FDG PET/CT the best test? K Cavanagh, E Lauhttp://deepblue.lib.umich.edu/bitstream/2027.42/134651/1/40644_2016_Article_79.pd

Residuality and Learning for Nondeterministic Nominal Automata

We are motivated by the following question: which data languages admit an active learning algorithm? This question was left open in previous work by the authors, and is particularly challenging for languages recognised by nondeterministic automata. To answer it, we develop the theory of residual nominal automata, a subclass of nondeterministic nominal automata. We prove that this class has canonical representatives, which can always be constructed via a finite number of observations. This property enables active learning algorithms, and makes up for the fact that residuality — a semantic property — is undecidable for nominal automata. Our construction for canonical residual automata is based on a machine-independent characterisation of residual languages, for which we develop new results in nominal lattice theory. Studying residuality in the context of nominal languages is a step towards a better understanding of learnability of automata with some sort of nondeterminism